Answer set programming - PDFSEARCH.IO - Document Search Engine

Answer set programming
Results: 107

#	Item
71	c 2003 Cambridge University Press TLP 3 (4 & 5): 393–424, 2003. 393 DOI: [removed]S1471068403001832 Printed in the United Kingdom Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:01 Artificial intelligence Stable model semantics Answer set programming Database SQL Negation as failure Logic programming Data management Computing
72	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2014-05-05 09:39:38 Complexity classes Logic programming Mathematical optimization Operations research Answer set programming NP-complete problems Stable model semantics Tree decomposition NP-complete Theoretical computer science Computational complexity theory Applied mathematics
73	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2012-06-11 04:13:26 Theoretical computer science Stable model semantics Answer set programming Hypertree Term algebra Function Valuation Tree decomposition Graph theory Mathematics Logic programming
74	TE C HNI C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2008-12-09 02:07:29 Logic programming Critical thinking Non-classical logic Philosophical logic Stable model semantics Argumentation theory Answer set programming Modal logic Function Logic Mathematics Mathematical logic
75	TE C HNI C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2008-04-15 07:03:50 Model theory Stable model semantics Philosophical logic Answer set programming Modal logic Type Formal methods Logic Logic programming Mathematical logic
76	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2011-07-05 03:47:02 Science Formal languages Model theory Semantics Stable model semantics Theoretical computer science Answer set programming Interpretation Argumentation theory Logic Mathematics Logic programming
77	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2008-01-31 02:46:26 Mathematical logic Stable model semantics Datalog Universal quantification FO Ground expression Answer set programming Logic programming Theoretical computer science Logic
78	TE C HNI C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2008-12-01 02:15:47 Mathematics Stable model semantics Answer set programming Support FO Modal logic Logic programming Logic Mathematical logic
79	Chapter 8 ASP with applications to mazes and levels (DRAFT) Mark J. Nelson and Adam M. Smith Add to Reading List Source URL: pcgbook.com Language: English - Date: 2014-05-07 07:45:15 Puzzles Answer set programming Modal logic Mathematics Logic Mazes Logic programming
80	A Hybrid Diagnosis Approach Combining Black-Box and White-Box Reasoning Mingmin Chen1 , Shizhuo Yu1 , Nico Franz2 , Shawn Bowers3 , and Bertram Lud¨ascher1 1 Dept. of Computer Science, University of California, Davis, Add to Reading List Source URL: taxonbytes.org Language: English - Date: 2014-07-01 16:19:30 Computing Computer programming Programming paradigms Constraint satisfaction problem Answer set programming Algorithm Association rule learning Datalog Constraint programming Software engineering Logic programming

UPDATE